Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters

In the digital signal processing (DSP) area, one of the most important tasks is digital filter design. Currently, this procedure is performed with the aid of computational tools, which generally assume filter coefficients represented with floating-point arithmetic. Nonetheless, during the implementation phase, which is often done in digital signal processors or field programmable gate arrays, the representation of the obtained coefficients can be carried out through integer or fixed-point arithmetic, which often results in unexpected behavior or even unstable filters. The present work addresses this issue and proposes a verification methodology based on the digital-system verifier (DSVerifier), with the goal of checking fixed-point digital filters w.r.t. implementation aspects. In particular, DSVerifier checks whether the number of bits used in coefficient representation will result in a filter with the same features specified during the design phase. Experimental results show that errors regarding frequency response and overflow are likely to be identified with the proposed methodology, which thus improves overall system's reliability

An insight into polarization states of solid-state organic lasers

The polarization states of lasers are crucial issues both for practical applications and fundamental research. In general, they depend in a combined manner on the properties of the gain material and on the structure of the electromagnetic modes. In this paper, we address this issue in the case of solid-state organic lasers, a technology which enables to vary independently gain and mode properties. Different kinds of resonators are investigated: in-plane micro-resonators with Fabry-Perot, square, pentagon, stadium, disk, and kite shapes, and external vertical resonators. The degree of polarization P is measured in each case. It is shown that although TE modes prevail generally (P>0), kite-shaped micro-laser generates negative values for P, i.e. a flip of the dominant polarization which becomes mostly TM polarized. We at last investigated two degrees of freedom that are available to tailor the polarization of organic lasers, in addition to the pump polarization and the resonator geometry: upon using resonant energy transfer (RET) or upon pumping the laser dye to an higher excited state. We then demonstrate that significantly lower P factors can be obtained.Comment: 12 pages, 12 figure

Cache Based Power Analysis Attacks on AES

International audienceThis paper describes possible attacks against software implementations of AES running on processors with cache mechanisms, particularly in the case of smart cards. These attacks are based on sidechannel information gained by observing cache hits and misses in the current drawn by the smart card. Two dierent attacks are described. The first is a combination of ideas proposed in [2] and [11] to produce an attack that only requires the manipulation of the plain text and the observation of the current. The second is an attack based on specific implementations of the xtime function [10]. These attacks are shown to also work against algorithms using Boolean data masking techniques as a DPA countermeasure

Electrochromic and electrofluorochromic properties of a new boron dipyrromethene–ferrocene conjugate

A new boron dipyrromethene–ferrocene (BODIPY–Fc) conjugate with pentafluorophenyl as the meso substituent and two Fc termini was synthesized and its spectroscopic and electrochemical features were analyzed. An intramolecular charge transfer from the donor Fc to the acceptor BODIPY has been predicted by theory and confirmed experimentally, leading to efficient fluorescence quenching when the dyad is in the neutral state. Fluorescence can be triggered by oxidizing both ferrocenyl units either chemically or electrochemically. Eventually, a fully reversible fluorescence switch is evidenced by coupling TIRF microscopy with electrolysis in an electrochemical cell

Analysis and Improvement of the Random Delay Countermeasure of CHES 2009

Random delays are often inserted in embedded software to protect against side-channel and fault attacks. At CHES 2009 a new method for generation of random delays was described that increases the attacker's uncertainty about the position of sensitive operations. In this paper we show that the CHES 2009 method is less secure than claimed. We describe an improved method for random delay generation which does not suffer from the same security weakness. We also show that the paper's criterion to measure the security of random delays can be misleading, so we introduce a new criterion for random delays which is directly connected to the number of acquisitions required to break an implementation. We mount a power analysis attack against an 8-bit implementation of the improved method verifying its higher security in practice

3D radiation therapy boost improves the outcome of whole brain radiation therapy treated RPA II patients with one or two brain metastases

PURPOSE: to evaluate the role of whole brain radiotherapy (WBRT) and radiation boost (RB) for 208 patients recursive partitioning analysis (RPA) II with 1 or 2 brain metastases (BM) at a single institution. METHODS AND MATERIALS: the dose of WBRT was 30 Gy (10 fractions of 3 Gy). One hundred thirty-two patients (63.5%) benefited from RB of 9 Gy in 3 fractions of 3 Gy at the metastatic site. Patients had 1 or 2 BM in 122 (58.7%) and 86 cases (41.3%), respectively. RESULTS: patients with one or two metastases had similar survival (4.6 and 5.1 months, respectively) (p = 0.4). Median overall survival (OS) for patients treated with WBRT and RB, and with WBRT alone was 5.9 and 3.7 months, respectively (p = 0.03). The 6-, 12- and 24-month OS rates after WBRT and RB were 48.5%, 25% and 10.6%, respectively, while WBRT alone resulted in OS rates of 34%, 22.4% and 3.2%, respectively (p = 0.03). After WBRT and RB, the 6-, 12- and 24-month local control rates were 92%, 82% and 67%, respectively, while they were 81.2%, 75% and 37.5%, respectively, after WBRT alone (p = 0.03). The 6-, 12- and 24-month brain control rates after WBRT and RB were 88.7%, 75.8% and 62%, respectively, and after WBRT alone they were 78.5%, 59% and 37.7%, respectively (p = 0.03). CONCLUSION: additional boost delivered with 3D conformal radiotherapy improves local and brain control rates significantly as well as overall survival for RPA II patients with 1 or 2 unresectable BM

Making Password Authenticated Key Exchange Suitable For Resource-Constrained Industrial Control Devices

Connectivity becomes increasingly important also for small embedded systems such as typically found in industrial control installations. More and more use-cases require secure remote user access increasingly incorporating handheld based human machine interfaces, using wireless links such as Bluetooth. Correspondingly secure operator authentication becomes of utmost importance. Unfortunately, often passwords with all their well-known pitfalls remain the only practical mechanism. We present an assessment of the security requirements for the industrial setting, illustrating that offline attacks on passwords-based authentication protocols should be considered a significant threat. Correspondingly use of a Password Authenticated Key Exchange protocol becomes desirable. We review the signif-icant challenges faced for implementations on resource-constrained devices. We explore the design space and shown how we succeeded in tailoring a partic-ular variant of the Password Authenticated Connection Establishment (PACE) protocol, such that acceptable user interface responsiveness was reached even for the constrained setting of an ARM Cortex-M0+ based Bluetooth low-energy transceiver running from a power budget of 1.5 mW without notable energy buffers for covering power peak transients